Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
571	A new security proof for Damg˚ ard’s ElGamal Kristian Gjøsteen March 17, 2005 Abstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2005-03-17 15:37:01 Finite fields Computational complexity theory Diffie–Hellman problem ElGamal encryption Universal hashing Paillier cryptosystem Diffie–Hellman key exchange Cramer–Shoup cryptosystem Index of cryptography articles Cryptography Cryptographic protocols Public-key cryptography
572	Proofs that Yield All Languages Proof Add to Reading List Source URL: nakamotoinstitute.org Language: English - Date: 2014-03-23 11:48:58 Complexity classes Cryptographic protocols Probabilistic complexity theory Models of computation Interactive proof system Zero-knowledge proof NP IP Arthur–Merlin protocol Theoretical computer science Computational complexity theory Applied mathematics
573	— A merged version of this work and the work of [BGW12] appears in the proceedings of the Theory of Cryptography Conference - TCC 2013 — On the (In)security of the Fiat-Shamir Paradigm, Revisited Dana Dachman-Soled M Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-17 13:39:52 Proof theory Zero-knowledge proof Interactive proof system Commitment scheme IP Soundness Probabilistically checkable proof Random oracle Symbol Cryptography Theoretical computer science Cryptographic protocols
574	Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo? David Delahaye1 , Damien Doligez2 , Frédéric Gilbert2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:16:17 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic
575	Round-Optimal Zero-Knowledge Proofs of Knowledge for NP Li HongDa†1 , Feng DengGuo2 , Li Bao1 , Xu HaiXia1 1 State Key Lab of Information Security, Graduate University of Chinese Academy of Sciences, Beijing, C Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-12-15 09:42:20 Cryptographic protocols Probabilistic complexity theory Complexity classes Interactive proof system Proof of knowledge Zero-knowledge proof IP Soundness Commitment scheme Theoretical computer science Applied mathematics Computational complexity theory
576	OUP UNCORRECTED PROOF – REVISES, Tue May, NEWGEN Chapter 9 Functional neuroimaging of theory of mind Add to Reading List Source URL: saxelab.mit.edu Language: English - Date: 2013-08-26 10:36:13 Cognitive neuroscience Theory of mind Memory Recall Psychology Functional neuroimaging Mind Cognitive science Neuroscience
577	A Rewrite System for Strongly Normalizable Terms Olivier Hermant1 and Ronan Saillard1,2 1 2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-16 03:50:46 Logic in computer science Proof theory Symbol Function Lambda calculus Combinatory logic Natural deduction Mathematics Mathematical logic Theoretical computer science
578	Control in the π-Calculus [Extended Abstract] 1. Kohei Honda Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:35 Mathematical logic Lambda calculus Logic in computer science Models of computation Curry–Howard correspondence Natural deduction Symbol Valuation Π-calculus Mathematics Proof theory Theoretical computer science
579	Efficiency Limitations for Σ-Protocols for Group Homomorphisms ? (Full Version) Endre Bangerter1 , Jan Camenisch2 , and Stephan Krenn3 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-12-04 11:23:33 Information Model theory Proof of knowledge Zero-knowledge proof Structure Homomorphism IP Communications protocol Golden ratio Cryptographic protocols Data Mathematics
580	Zero-Knowledge Accumulators and Set Operations Esha Ghosh1 , Olga Ohrimenko2 , Dimitrios Papadopoulos3 , Roberto Tamassia1 and Nikos Triandopoulos4,3 1 Dept. of Computer Science, Brown University, Providence RI, USA esha Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-28 18:00:30 Mathematics Quantum complexity theory Accumulator Central processing unit Zero-knowledge proof Proof of knowledge Polynomial Function NP Cryptography Cryptographic protocols Applied mathematics

UPDATE